Presburger arithmetic

[网络] 斯博格算术